</
define p:VeriLip_MaxK<0.03;
fin(p)
/>